HighContrast: remove deprecated style properties

diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index fd6e91c06edcf1d03d03250f3ee079d041407fac..be1d24395172da098b3e3e99950f4426adccaafc 100644 (file)
--- a/gtk/theme/HighContrast/_common.scss
+++ b/gtk/theme/HighContrast/_common.scss
@@ -27,15 +27,6 @@ $ease-out-quad: cubic-bezier(0.25, 0.46, 0.45, 0.94);
 
   -GtkTreeView-horizontal-separator: 4;
 
-  -GtkMenu-horizontal-padding: 0;
-  -GtkMenu-vertical-padding: 0;
-
-  -GtkWidget-link-color: $link_color;
-  -GtkWidget-visited-link-color: $link_color;
-
-  -GtkWidget-focus-padding: 2;    // FIXME: do we still need these?
-  -GtkWidget-focus-line-width: 1; //
-
   -GtkDialog-button-spacing: 4;
   -GtkDialog-action-area-border: 0;
 
@@ -1249,8 +1240,6 @@ notebook {
   -GtkNotebook-tab-curvature: 0;
   -GtkNotebook-tab-overlap: -8;
   -GtkNotebook-has-tab-gap: false;
-  -GtkWidget-focus-padding: 0;
-  -GtkWidget-focus-line-width: 0;
 
   // Through me you go to the grief wracked city;
   // Through me you go to everlasting pain;

diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css
index a7e0a761abf38d378467e9cbab056698367a78a9..92cf28590c91c82047a1c302b29d5d2044df7efc 100644 (file)
--- a/gtk/theme/HighContrast/gtk.css
+++ b/gtk/theme/HighContrast/gtk.css
@@ -44,12 +44,6 @@
   -GtkToolItemGroup-expander-size: 11;
   -GtkExpander-expander-size: 16;
   -GtkTreeView-horizontal-separator: 4;
-  -GtkMenu-horizontal-padding: 0;
-  -GtkMenu-vertical-padding: 0;
-  -GtkWidget-link-color: #000;
-  -GtkWidget-visited-link-color: #000;
-  -GtkWidget-focus-padding: 2;
-  -GtkWidget-focus-line-width: 1;
   -GtkDialog-button-spacing: 4;
   -GtkDialog-action-area-border: 0;
   -GtkStatusbar-shadow-type: none;
@@ -1381,8 +1375,6 @@ notebook {
   -GtkNotebook-tab-curvature: 0;
   -GtkNotebook-tab-overlap: -8;
   -GtkNotebook-has-tab-gap: false;
-  -GtkWidget-focus-padding: 0;
-  -GtkWidget-focus-line-width: 0;
   padding: 0;
   background-color: #fff;
   transition: all 200ms ease-out; }